Free modal algebras revisited: the step-by-step method
نویسندگان
چکیده
We review the step-by-step method of constructing finitely generated free modal algebras. First we discuss the global step-by-step method, which works well for rank one modal logics. Next we refine the global step-by-step method to obtain the local step-by-step method, which is applicable beyond rank one modal logics. In particular, we show that it works well for constructing the finitely generated free algebras for such well-known modal systems as T, K4 and S4. This yields the notions of one-step algebras and of one-step frames, as well as of universal onestep extensions of one-step algebras and of one-step frames. We show that finitely generated free algebras for T, K4 and S4 and their dual spaces can be obtained by iterating the universal one-step extensions of one-step algebras and of one-step frames. In the final part of the paper we compare our construction with recent literature, especially with [11] which has a very similar approach.
منابع مشابه
From free algebras to proof bounds
(This is joint work with Nick Bezhanishvili)[1],[2]. In the first part of our contribution, we review and compare existing constructions of finitely generated free algebras in modal logic focusing on step-by-step methods. We discuss the notions of step algebras and step frames arising from recent investigations [3], [2], as well as the role played by finite duality. A step frame is a two-sorted...
متن کاملThe bounded proof property via step algebras and step frames
We develop a semantic criterion for a specific rule-based calculus Ax axiomatizing a given logic L to have the so-called bounded proof property. This property is a kind of an analytic subformula property limiting the proof search space. Our main tools are one-step frames and one-step algebras. These structures were used in [23], [11] to construct free algebras of modal logics via coalgebraic me...
متن کاملDamage detection of structures using modal strain energy with Guyan reduction method
The subject of structural health monitoring and damage identification of structures at the earliest possible stage has been a noteworthy topic for researchers in the last years. Modal strain energy (MSE) based index is one of the efficient methods which are commonly used for detecting damage in structures. It is also more effective and economical to employ some methods for reducing the degrees ...
متن کاملInsight into the Boundary Layer Flows of Free Convection and Heat Transfer of Nanofluids over a Vertical Plate using Multi-Step Differential Transformation Method
This paper presents an insight into the boundary layer of free convection and heat transfer of nanofluids over a vertical plate at very low and high Prandtl number. Suitable similarity variables are used to convert the governing systems of nonlinear partial differential equations of the flow and heat transfer to systems of nonlinear ordinary differential equations which are solved using multi-s...
متن کاملFree Modal Algebras: A Coalgebraic Perspective
In this paper we discuss a uniform method for constructing free modal and distributive modal algebras. This method draws on works by (Abramsky 2005) and (Ghilardi 1995). We revisit the theory of normal forms for modal logic and derive a normal form representation for positive modal logic. We also show that every finitely generated free modal and distributive modal algebra axiomatised by equatio...
متن کامل